Linux Australia - PDFSEARCH.IO - Document Search Engine

Linux Australia
Results: 46

#	Item
31	Secure Embedded Systems Need Microkernels Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:41 Microkernel Trusted computing base L4 microkernel family Monolithic kernels Virtual machines Gernot Heiser Kernel Embedded system Linux kernel Computer architecture System software Software
32	Seeking is hard Ralph Giles Xiph.org Foundation for Open Multimedia linux.conf.au 2008 Melbourne Australia Add to Reading List Source URL: mirror.linux.org.au - Date: 2008-02-28 23:41:40
33	L4/Darwin: Evolving UNIX Geoffrey Lee and Charles Gray National ICT Australia, Sydney, Australia Abstract the full Linux kernel tree currently contains millions of Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:13 Mac OS X Mach Monolithic kernels XNU Microkernel Operating system kernels L4 microkernel family Darwin Kernel Computer architecture System software Software
34	PRESS RELEASE Monday, 13 January, 2014 GEELONG BOOTING UP FOR MAJOR TECHNOLOGY CONFERENCE Add to Reading List Source URL: lcabythebay.org.au Language: English - Date: 2014-02-22 21:04:40 Linux.conf.au Geelong Deakin University Linux conference Linux Geelong Football Club States and territories of Australia Victoria Geography of Australia
35	The Clustered Multikernel: An Approach to Formal Verification of Multiprocessor OS Kernels Michael von Tessin NICTA∗ and University of New South Wales Sydney, Australia Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-08 02:17:07 L4 microkernel family Microkernel Thread Kernel Isabelle Formal verification Linux kernel Memory barrier Mach Computer architecture Computing Concurrent computing
36	A methodical makeover for CTDB Martin Schwenke Amitay Isaacs Samba Team IBM (Australia Development Laboratory, Linux Technology Center) Add to Reading List Source URL: lca2015.linux.org.au Language: English - Date: 2015-01-20 18:47:45 Computer cluster Concurrent computing Parallel computing Database Computing Database management systems Fault-tolerant computer systems
37	All your multimedia are belong to us Linux Conference Australia 2015 Auckland, [removed]Diego Biurrun Add to Reading List Source URL: lca2015.linux.org.au Language: English - Date: 2015-01-20 18:47:45 Libavcodec MPlayer GStreamer Vicente Biurrun XBMC Matroska Cygwin Bellard Software FFmpeg Cross-platform software
38	A methodical makeover for CTDB Martin Schwenke Amitay Isaacs Samba Team IBM (Australia Development Laboratory, Linux Technology Center) Add to Reading List Source URL: linux.conf.au Language: English - Date: 2015-01-20 18:47:45 Computer cluster Concurrent computing Parallel computing Database Computing Database management systems Fault-tolerant computer systems
39	All your multimedia are belong to us Linux Conference Australia 2015 Auckland, [removed]Diego Biurrun Add to Reading List Source URL: linux.conf.au Language: English - Date: 2015-01-20 18:47:45 Libavcodec MPlayer GStreamer Vicente Biurrun XBMC Matroska Cygwin Bellard Software FFmpeg Cross-platform software
40	Operating System Verification for Real Use Gernot Heiser School of Computer Science and Engineering, University of New South Wales, and Embedded, Real-Time and Operating Systems Program, National ICT Australia Sydney, Au Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-07-22 18:53:53 Gernot Heiser L4 microkernel family Microkernel Formal verification Kernel Embedded system Ring Linux kernel Operating system Computer architecture System software Software

UPDATE